1. Theory and Practice of Formal Methods.
پدیدآورنده : \ Erika Ábrahám , Marcello Bonsangue, Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Formal methods (Computer science),Software engineering.,روشهای صوری (کامپیوتر) ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F67T46
2016
E-Book
,
